classical logic - определение. Что такое classical logic
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое classical logic - определение

CLASS OF FORMAL LOGICS
Classical logics; Crisp logic; History of classical logic
  • Begriffsschrift title page
Найдено результатов: 1944
classical logic         
<logic> Non-intuitionistic logic. (1995-04-13)
Classical logic         
Classical logic (or standard logic or Frege-Russell logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.
Non-classical logic         
FORMAL SYSTEMS OF LOGIC THAT SIGNIFICANTLY DIFFER FROM STANDARD LOGICAL SYSTEMS
Non-Aristotelian logic; Nonclassical logic; Alternative logic
Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of extensions, deviations, and variations.
Mathematical logic         
SUBFIELD OF MATHEMATICS
Symbolic Logic; Symbolic logic; Mathematical Logic; Logic (mathematics); Logic (math); Logic (maths); Logic (symbolic); Mathematical logician; Logic modeling; Logic modelling; Formal Logic; History of mathematical logic; Subfields of mathematical logic; Formal logical systems; History of symbolic logic; Applications of mathematical logic; 20th century in mathematical logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory.
symbolic logic         
SUBFIELD OF MATHEMATICS
Symbolic Logic; Symbolic logic; Mathematical Logic; Logic (mathematics); Logic (math); Logic (maths); Logic (symbolic); Mathematical logician; Logic modeling; Logic modelling; Formal Logic; History of mathematical logic; Subfields of mathematical logic; Formal logical systems; History of symbolic logic; Applications of mathematical logic; 20th century in mathematical logic
¦ noun the use of symbols to denote propositions, terms, and relations in order to assist reasoning.
symbolic logic         
SUBFIELD OF MATHEMATICS
Symbolic Logic; Symbolic logic; Mathematical Logic; Logic (mathematics); Logic (math); Logic (maths); Logic (symbolic); Mathematical logician; Logic modeling; Logic modelling; Formal Logic; History of mathematical logic; Subfields of mathematical logic; Formal logical systems; History of symbolic logic; Applications of mathematical logic; 20th century in mathematical logic
<logic> The discipline that treats formal logic by means of a formalised artificial language or symbolic calculus, whose purpose is to avoid the ambiguities and logical inadequacies of natural language. (1995-12-24)
Classical modal logic         
MODAL LOGIC CONTAINING THE DUALITY AXIOM SCHEMA ◊A↔¬◻¬A AS WELL AS THE DEDUCTION RULE A↔B ⊢ ◻A↔◻B
In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators
Aristotelian logic         
TYPE OF LOGIC WHOSE ELEMENTS ARE CONCEPTS
Term Logic; Traditional logic; Scholastic logic; Aristotelian logic; Aristotelean logic; Aristotlean logic; Aristotlian logic
¦ noun the traditional system of logic expounded by Aristotle and developed in the Middle Ages.
Term logic         
TYPE OF LOGIC WHOSE ELEMENTS ARE CONCEPTS
Term Logic; Traditional logic; Scholastic logic; Aristotelian logic; Aristotelean logic; Aristotlean logic; Aristotlian logic
In philosophy, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by his followers, the peripatetics. It was revived after the third century CE by Porphyry's Isagoge.
Classical period (music)         
  • Portrait of Beethoven by [[Joseph Karl Stieler]], 1820
  • View of Vienna in 1758, by [[Bernardo Bellotto]]
  • Mozart wrote a number of divertimentos, light instrumental pieces designed for entertainment. This is the 2nd movement of his Divertimento in E-flat major, K. 113.
  • dissonant]] [[diminished seventh]] chord (G# dim7 with a B in the bass) moving to a [[dominant seventh chord]] (A7 with a C# in the bass) before resolving to the [[tonic chord]] (D minor) at the singer's entrance.
  • Fortepiano by Paul McNulty after Walter & Sohn, c. 1805
  • 1875 oil painting of Franz Schubert by [[Wilhelm August Rieder]], after his own 1825 watercolor portrait
  • Thomas Hardy]], 1792
  • Hummel in 1814
  • Gluck, detail of a portrait by [[Joseph Duplessis]], dated 1775 ([[Kunsthistorisches Museum]], Vienna)
  • Portrait of Mendelssohn by [[James Warren Childe]], 1839
  • [[Muzio Clementi]]'s Sonata in G minor, No.&nbsp;3, Op.&nbsp;50, "Didone abbandonata", adagio movement
  • A modern string quartet. In the 2000s, [[string quartet]]s from the Classical era are the core of the chamber music literature. From left to right: violin 1, violin 2, cello, viola
  • Wolfgang Amadeus Mozart, posthumous painting by Barbara Krafft in 1819
  • The Mozart family c. 1780. The portrait on the wall is of Mozart's mother.
GENRE OF WESTERN MUSIC (C. 1730–1820)
Classical Music Era; Classical Era (Music); Vienese classic; Classical music era; Wiener Klassik; Viennese classical; Classical period of music; Classical Period (music); Classical period music; Classical-period music; Classical era music; Classical-era music; Classical period in music; Classical era of music; Classical era in music; Classical music period; Classical music (period); Pre-Classical music; Pre-Classical period (music)

class="mw-empty-elt">

The Classical period was an era of classical music between roughly 1750 and 1820.

The Classical period falls between the Baroque and the Romantic periods. Classical music has a lighter, clearer texture than Baroque music, but a more sophisticated use of form. It is mainly homophonic, using a clear melody line over a subordinate chordal accompaniment, but counterpoint was by no means forgotten, especially in liturgical vocal music and, later in the period, secular instrumental music. It also makes use of style galant which emphasized light elegance in place of the Baroque's dignified seriousness and impressive grandeur. Variety and contrast within a piece became more pronounced than before and the orchestra increased in size, range, and power.

The harpsichord was replaced as the main keyboard instrument by the piano (or fortepiano). Unlike the harpsichord, which plucks strings with quills, pianos strike the strings with leather-covered hammers when the keys are pressed, which enables the performer to play louder or softer (hence the original name "fortepiano," literally "loud soft") and play with more expression; in contrast, the force with which a performer plays the harpsichord keys does not change the sound. Instrumental music was considered important by Classical period composers. The main kinds of instrumental music were the sonata, trio, string quartet, quintet, symphony (performed by an orchestra) and the solo concerto, which featured a virtuoso solo performer playing a solo work for violin, piano, flute, or another instrument, accompanied by an orchestra. Vocal music, such as songs for a singer and piano (notably the work of Schubert), choral works, and opera (a staged dramatic work for singers and orchestra) were also important during this period.

The best-known composers from this period are Joseph Haydn, Wolfgang Amadeus Mozart, Ludwig van Beethoven, and Franz Schubert; other names in this period include: Carl Philipp Emanuel Bach, Johann Christian Bach, Luigi Boccherini, Domenico Cimarosa, Joseph Martin Kraus, Muzio Clementi, Christoph Willibald Gluck, Carl Ditters von Dittersdorf, André Grétry, Pierre-Alexandre Monsigny, Leopold Mozart, Michael Haydn, Giovanni Paisiello, Johann Baptist Wanhal, François-André Danican Philidor, Niccolò Piccinni, Antonio Salieri, Georg Christoph Wagenseil, Georg Matthias Monn, Johann Gottlieb Graun, Carl Heinrich Graun, Franz Benda, Georg Anton Benda, Johann Georg Albrechtsberger, Mauro Giuliani, Christian Cannabich and the Chevalier de Saint-Georges. Beethoven is regarded either as a Romantic composer or a Classical period composer who was part of the transition to the Romantic era. Schubert is also a transitional figure, as were Johann Nepomuk Hummel, Luigi Cherubini, Gaspare Spontini, Gioachino Rossini, Carl Maria von Weber, Jan Ladislav Dussek and Niccolò Paganini. The period is sometimes referred to as the era of Viennese Classicism (German: Wiener Klassik), since Gluck, Haydn, Salieri, Mozart, Beethoven, and Schubert all worked in Vienna.

Википедия

Classical logic

Classical logic (or standard logic or Frege-Russell logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.